Issue1129.agda:8,5-12
Could not parse the application [ ? ] x
Operators used in the grammar:
  [_] (prefix notation, level 20) [F (Issue1129.agda:3,3-4)]
when scope checking [ ? ] x
